﻿/************************************************************************
 * SMLib - State Model Library
 * Copyright (C) 2012-2013 Ali Khalili (khalili_DOT_ir_@SIGN_gmail_DOT_com)
 * **********************************************************************
 * This program is free software; you can redistribute it and/or modify it
 * under the terms of the GNU Lesser General Public License (LGPL) published 
 * by the Free Software Foundation; either version 2.1 of the License, or (at your
 * option) any later version. This program is distributed without any
 * warranty. See the GNU Lesser General Public License for more details. 
 * ***********************************************************************
 * File         :     SMLib\Automata\Base\IAutomataEqualityChecker.cs
 * Description  :     
 * Change log   :     -Oct 2013:  First version
 * To Do        :
 ************************************************************************/
using System;
using System.Collections.Generic;
using SMLib.Base;

namespace SMLib.Automata.Base
{
    /// <summary>
    /// 
    /// </summary>
    /// <typeparam name="STATETYPE"></typeparam>
    /// <typeparam name="TRANSITIONTYPE"></typeparam>
    public interface IAutomataEqualityChecker<STATETYPE, TRANSITIONTYPE>
    {
        /// <summary>
        /// Check Equality of two automata
        /// </summary>
        /// <param name="m1">first automata</param>
        /// <param name="m2">second automata</param>
        /// <returns>true if both are equal, false in other case</returns>
        bool CheckEquality(IDiGraph<STATETYPE, TRANSITIONTYPE> m1, IDiGraph<STATETYPE, TRANSITIONTYPE> m2);

        /// <summary>
        /// Find the difference of two automata
        /// </summary>
        /// <param name="m1">first automata</param>
        /// <param name="m2">second automata</param>
        /// <returns>the observable difference</returns>
        List<TRANSITIONTYPE> Difference(IDiGraph<STATETYPE, TRANSITIONTYPE> m1, IDiGraph<STATETYPE, TRANSITIONTYPE> m2);
    }
}
